Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
331	Dependent Types for JavaScript Ravi Chugh David Herman Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2012-08-02 00:38:25 Cross-platform software Subroutines JavaScript Type system C Nim Function object JavaScript syntax Comparison of programming languages Software engineering Computing Computer programming
332	Alias Annotations for Program Understanding Jonathan Aldrich Valentin Kostadinov Craig Chambers Add to Reading List Source URL: archjava.fluid.cs.cmu.edu Language: English - Date: 2002-11-09 11:40:34 Object-oriented programming Annotation Java Type signature Delegation Immutable object Object Reference Generic programming Software engineering Computing Computer programming
333	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
334	Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Data types Object-oriented programming Cross-platform software Functional programming Type system JavaScript Duck typing C Software engineering Computing Computer programming
335	Vol. 3, No. 11 Special issue: OOPS track at SAC 2004, Nicosia/Cyprus Adding Wildcards to the Java Programming Language Mads Torgersen, University of Aarhus, Denmark Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-12-02 10:31:02 Programming language theory Polymorphism Object-oriented programming Data types Java programming language Covariance and contravariance Wildcard Type system Generic programming Software engineering Computing Type theory
336	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
337	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
338	Perl versiondocumentation - UNIVERSAL NAME UNIVERSAL - base class for ALL classes (blessed references) SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:29:10 Object-oriented programming Cross-platform software Scripting languages Perl Perl module Eval JavaScript Serialization Type introspection Computing Software engineering Computer programming
339	Automatic Dimension Inference and Checking for Object-Oriented Programs Sudheendra Hangal and Monica S. Lam Computer Science Department Stanford University, CA 94305 {hangal,lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2010-05-01 03:11:59 Computing Programming language theory Dimensional analysis Measurement Array data type Dimension Array data structure Type inference Type system Data types Type theory Software engineering
340	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:25 Data types Computing Pointing stick Subtype polymorphism Constraint programming Software engineering Type theory Object-oriented programming

UPDATE